#ifndef __STDIO_H__
#define __STDIO_H__

#ifdef __KERNEL__

#else
// __TAREA___

void
stdio_init();

void
stdio_close();

void
stdio_print(const char *s);

int
stdio_readline( char * buffer, uint_32 size );

void
stdio_wait();

void
stdio_printf(char* format, ...);


#endif /* __KERNEL__ */

#endif /* __STDIO_H__ */
